Back Formale Semantik ALS علم الدلالة الشكلي Arabic Semantika (informatika) Azerbaijani Sémantika programovacích jazyků Czech Семантика (программăлани) CV Formale Semantik German Τυπική σημασιολογία των γλωσσών προγραμματισμού Greek Semántica de lenguajes de programación Spanish معنیشناسی (علوم رایانه) Persian Sémantique des langages de programmation French
| Semantics | ||||||||
|---|---|---|---|---|---|---|---|---|
|
||||||||
|
Semantics of programming languages | ||||||||
|
||||||||
| Part of a series on |
| Formal languages |
|---|
In programming language theory, semantics is the rigorous mathematical study of the meaning of programming languages.[1] Semantics assigns computational meaning to valid strings in a programming language syntax. It is closely related to, and often crosses over with, the semantics of mathematical proofs.
Semantics describes the processes a computer follows when executing a program in that specific language. This can be done by describing the relationship between the input and output of a program, or giving an explanation of how the program will be executed on a certain platform, thereby creating a model of computation.
- ^ Goguen, Joseph A. (1975). "Semantics of computation". Category Theory Applied to Computation and Control. Lecture Notes in Computer Science. Vol. 25. Springer. pp. 151–163. doi:10.1007/3-540-07142-3_75. ISBN 978-3-540-07142-6.